1. Advances in Intelligent Computing -- IPMU '94 :
Author: edited by Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Computer software.
2. Algorithms and Model Formulations in Mathematical Programming
Author: edited by Stein W. Wallace.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Numerical analysis.
Classification :
T57
.
7
E358
1989
3. Algorithms and complexity in mathematics, epistemology, and science :
Author: editors, Ncolas Fillion, Robert M. Corless and Ilias S. Kotsireas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms, Congresses.,Complexity (Philosophy), Congresses.,Mathematics, Congresses.,Science-- Mathematics, Congresses.,Technological complexity, Congresses.,Algorithms.,Complexity (Philosophy),MATHEMATICS-- Numerical Analysis.,Mathematics.,Science-- Mathematics.,Technological complexity.
Classification :
QA9
.
58
4. Automatic parallelization :
Author: Christoph W. Kessler, ed.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Codage.,Parallel processing (Electronic computers)
Classification :
QA76
.
58
C475
1994
5. Building software for simulation
Author: James Nutaro
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Computer simulation,C]] (Computer program language)
Classification :
QA
،
76
.
9
،.
C65
,
N88
،
2011
6. Building software for simulation
Author: / James Nutaro
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer simulation,C++ (Computer program language)
Classification :
QA76
.
9
.
C65
,
N88
2011
7. Building software for simulation
Author: / James Nutaro
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer simulation,C++ (Computer program language)
Classification :
QA76
.
9
.
C65
,
N88
2011
8. Building software for simulation :
Author: James Nutaro
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: C++ (Computer program language),Computer simulation
Classification :
QA76
.
9
.
C65
N88
2011
9. C++ Toolbox for Verified Computing I :
Author: by Ulrich Kulisch, Rolf Hammer, Matthias Hocks, Dietmar Ratz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Global analysis (Mathematics),Mathematics.
Classification :
QA76
.
73
.
C153
B985
1995
10. C programming :
Author: David R. Brooks.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: C (Computer program language)
Classification :
QA76
.
73
.
C15
D385
9999
11. COMPSTAT 1982 5th Symposium held at Toulouse 1982 :
Author: edited by H. Caussinus, P. Ettinger, R. Tomassone.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Statistics.
Classification :
QA276
.
4
E358
1982
12. CONPAR 81 :
Author: edited by Wolfgang Händler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique)
13. Computational Physic
Author: / by Philipp O.J. Scherer
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Physics,Chemistry,Engineering mathematics,Electronic books
Classification :
E-BOOK
14. Computational physics :
Author: Philipp O.J. Scherer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematical physics.,Physics-- Data processing.,Astronomie.,Mathematical physics.,Physics-- Data processing.,Physique.
Classification :
QC20
.
S34
2013
15. Computer Aided Verification :
Author: Isil Dillig, Serdar Tasiran (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
758
.
C38
2019
16. Computer Science and Statistics: Proceedings of the 13th Symposium on the Interface
Author: edited by William F. Eddy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Distribution (Probability theory).,Mathematics.,Statistics.
17. Computer aided verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I
Author: / edited by Isil Dillig, Serdar Tasiran.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programs -- Verification -- Congresses.,Software engineering.,Computer science.,Computer science.,Computer programs.,Software engineering.
18. Computer algebra in scientific computing :
Author: Victor G. Ganzha, Ernst W. Matr, Evgenii V. Vorozhtsov (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing -- Congresses.,Algebra -- Data processing.,Science -- Data processing -- Congresses.
19. Computing for scientists and engineers :
Author: William J. Thompson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering-- Data processing.,Numerical analysis-- Data processing.,Science-- Data processing.
Classification :
QA297
.
T5
1992
20. Conditio
Author: / by Peter B?╝rgisser, Felipe Cucker
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Computer science,Computer science, Mathematics,Algorithms,Mathematical optimization,Distribution (Probability theory),Electronic books
Classification :
E-BOOK
